VDict mobile



statically typed not found. Suggestions:

strong typing
Trafola-H
static link
TALE
cursor
typed lambda-calculus
CPL
Computational Adequacy Theorem
weak typing
LOGISCOPE